projects / gringo.git / commit
| author | Thomas Krennwallner <tkren@kr.tuwien.ac.at> | |
| Mon, 28 Dec 2020 12:50:01 +0000 (12:50 +0000) | ||
| committer | Thomas Krennwallner <tkren@kr.tuwien.ac.at> | |
| Mon, 28 Dec 2020 12:50:01 +0000 (12:50 +0000) | ||
| commit | 35111f143e32d9dbab7df82214191c87021c4924 | |
| tree | 610b3606697e29d3efccfb299e466c989ae08c66 | tree | snapshot |
| parent | 08f5da5194948efac4883b541e9a805afc5fef5d | commit | diff |
| parent | 4f08f981fe91eeef32defe0f1c6505e0fb2c60d4 | commit | diff |